Some programmers call the cut a controversial control facility because it was added for efficiency reasons only and is not a Horn clause.
2.
Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming.
3.
Used in this way, goal clauses are similar to conjunctive queries in relational databases, and Horn clause logic is equivalent in computational power to a universal Turing machine.
मोबाइल